void log(const char *);
